TSTP Solution File: GRA049^1 by Refute---2015